\(\int \frac {(d x)^m (a+b x)}{\sqrt {c x^2}} \, dx\) [972]

   Optimal result
   Rubi [A] (verified)
   Mathematica [A] (verified)
   Maple [A] (verified)
   Fricas [A] (verification not implemented)
   Sympy [B] (verification not implemented)
   Maxima [A] (verification not implemented)
   Giac [F(-2)]
   Mupad [B] (verification not implemented)

Optimal result

Integrand size = 20, antiderivative size = 48 \[ \int \frac {(d x)^m (a+b x)}{\sqrt {c x^2}} \, dx=\frac {a x (d x)^m}{m \sqrt {c x^2}}+\frac {b x (d x)^{1+m}}{d (1+m) \sqrt {c x^2}} \]

[Out]

a*x*(d*x)^m/m/(c*x^2)^(1/2)+b*x*(d*x)^(1+m)/d/(1+m)/(c*x^2)^(1/2)

Rubi [A] (verified)

Time = 0.02 (sec) , antiderivative size = 48, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.150, Rules used = {15, 16, 45} \[ \int \frac {(d x)^m (a+b x)}{\sqrt {c x^2}} \, dx=\frac {a x (d x)^m}{m \sqrt {c x^2}}+\frac {b x (d x)^{m+1}}{d (m+1) \sqrt {c x^2}} \]

[In]

Int[((d*x)^m*(a + b*x))/Sqrt[c*x^2],x]

[Out]

(a*x*(d*x)^m)/(m*Sqrt[c*x^2]) + (b*x*(d*x)^(1 + m))/(d*(1 + m)*Sqrt[c*x^2])

Rule 15

Int[(u_.)*((a_.)*(x_)^(n_))^(m_), x_Symbol] :> Dist[a^IntPart[m]*((a*x^n)^FracPart[m]/x^(n*FracPart[m])), Int[
u*x^(m*n), x], x] /; FreeQ[{a, m, n}, x] &&  !IntegerQ[m]

Rule 16

Int[(u_.)*(v_)^(m_.)*((b_)*(v_))^(n_), x_Symbol] :> Dist[1/b^m, Int[u*(b*v)^(m + n), x], x] /; FreeQ[{b, n}, x
] && IntegerQ[m]

Rule 45

Int[((a_.) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*x)^m*(c + d
*x)^n, x], x] /; FreeQ[{a, b, c, d, n}, x] && NeQ[b*c - a*d, 0] && IGtQ[m, 0] && ( !IntegerQ[n] || (EqQ[c, 0]
&& LeQ[7*m + 4*n + 4, 0]) || LtQ[9*m + 5*(n + 1), 0] || GtQ[m + n + 2, 0])

Rubi steps \begin{align*} \text {integral}& = \frac {x \int \frac {(d x)^m (a+b x)}{x} \, dx}{\sqrt {c x^2}} \\ & = \frac {(d x) \int (d x)^{-1+m} (a+b x) \, dx}{\sqrt {c x^2}} \\ & = \frac {(d x) \int \left (a (d x)^{-1+m}+\frac {b (d x)^m}{d}\right ) \, dx}{\sqrt {c x^2}} \\ & = \frac {a x (d x)^m}{m \sqrt {c x^2}}+\frac {b x (d x)^{1+m}}{d (1+m) \sqrt {c x^2}} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.03 (sec) , antiderivative size = 33, normalized size of antiderivative = 0.69 \[ \int \frac {(d x)^m (a+b x)}{\sqrt {c x^2}} \, dx=\frac {x (d x)^m (a+a m+b m x)}{m (1+m) \sqrt {c x^2}} \]

[In]

Integrate[((d*x)^m*(a + b*x))/Sqrt[c*x^2],x]

[Out]

(x*(d*x)^m*(a + a*m + b*m*x))/(m*(1 + m)*Sqrt[c*x^2])

Maple [A] (verified)

Time = 0.02 (sec) , antiderivative size = 32, normalized size of antiderivative = 0.67

method result size
gosper \(\frac {x \left (b m x +a m +a \right ) \left (d x \right )^{m}}{\left (1+m \right ) m \sqrt {c \,x^{2}}}\) \(32\)
risch \(\frac {x \left (b m x +a m +a \right ) \left (d x \right )^{m}}{\left (1+m \right ) m \sqrt {c \,x^{2}}}\) \(32\)

[In]

int((d*x)^m*(b*x+a)/(c*x^2)^(1/2),x,method=_RETURNVERBOSE)

[Out]

x*(b*m*x+a*m+a)*(d*x)^m/(1+m)/m/(c*x^2)^(1/2)

Fricas [A] (verification not implemented)

none

Time = 0.23 (sec) , antiderivative size = 36, normalized size of antiderivative = 0.75 \[ \int \frac {(d x)^m (a+b x)}{\sqrt {c x^2}} \, dx=\frac {{\left (b m x + a m + a\right )} \sqrt {c x^{2}} \left (d x\right )^{m}}{{\left (c m^{2} + c m\right )} x} \]

[In]

integrate((d*x)^m*(b*x+a)/(c*x^2)^(1/2),x, algorithm="fricas")

[Out]

(b*m*x + a*m + a)*sqrt(c*x^2)*(d*x)^m/((c*m^2 + c*m)*x)

Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 162 vs. \(2 (41) = 82\).

Time = 2.47 (sec) , antiderivative size = 162, normalized size of antiderivative = 3.38 \[ \int \frac {(d x)^m (a+b x)}{\sqrt {c x^2}} \, dx=\begin {cases} \frac {- \frac {a}{\sqrt {c x^{2}}} + \frac {b x \log {\left (x \right )}}{\sqrt {c x^{2}}}}{d} & \text {for}\: m = -1 \\\begin {cases} \frac {a x \log {\left (x \right )}}{\sqrt {c x^{2}}} + \frac {b \sqrt {c x^{2}}}{c} & \text {for}\: c \neq 0 \\\tilde {\infty } \left (a x + \frac {b x^{2}}{2}\right ) & \text {otherwise} \end {cases} & \text {for}\: m = 0 \\\frac {a m x \left (d x\right )^{m}}{m^{2} \sqrt {c x^{2}} + m \sqrt {c x^{2}}} + \frac {a x \left (d x\right )^{m}}{m^{2} \sqrt {c x^{2}} + m \sqrt {c x^{2}}} + \frac {b m x^{2} \left (d x\right )^{m}}{m^{2} \sqrt {c x^{2}} + m \sqrt {c x^{2}}} & \text {otherwise} \end {cases} \]

[In]

integrate((d*x)**m*(b*x+a)/(c*x**2)**(1/2),x)

[Out]

Piecewise(((-a/sqrt(c*x**2) + b*x*log(x)/sqrt(c*x**2))/d, Eq(m, -1)), (Piecewise((a*x*log(x)/sqrt(c*x**2) + b*
sqrt(c*x**2)/c, Ne(c, 0)), (zoo*(a*x + b*x**2/2), True)), Eq(m, 0)), (a*m*x*(d*x)**m/(m**2*sqrt(c*x**2) + m*sq
rt(c*x**2)) + a*x*(d*x)**m/(m**2*sqrt(c*x**2) + m*sqrt(c*x**2)) + b*m*x**2*(d*x)**m/(m**2*sqrt(c*x**2) + m*sqr
t(c*x**2)), True))

Maxima [A] (verification not implemented)

none

Time = 0.22 (sec) , antiderivative size = 32, normalized size of antiderivative = 0.67 \[ \int \frac {(d x)^m (a+b x)}{\sqrt {c x^2}} \, dx=\frac {b d^{m} x x^{m}}{\sqrt {c} {\left (m + 1\right )}} + \frac {a d^{m} x^{m}}{\sqrt {c} m} \]

[In]

integrate((d*x)^m*(b*x+a)/(c*x^2)^(1/2),x, algorithm="maxima")

[Out]

b*d^m*x*x^m/(sqrt(c)*(m + 1)) + a*d^m*x^m/(sqrt(c)*m)

Giac [F(-2)]

Exception generated. \[ \int \frac {(d x)^m (a+b x)}{\sqrt {c x^2}} \, dx=\text {Exception raised: TypeError} \]

[In]

integrate((d*x)^m*(b*x+a)/(c*x^2)^(1/2),x, algorithm="giac")

[Out]

Exception raised: TypeError >> an error occurred running a Giac command:INPUT:sage2:=int(sage0,sageVARx):;OUTP
UT:Limit: Max order reached or unable to make series expansion Error: Bad Argument Value

Mupad [B] (verification not implemented)

Time = 0.26 (sec) , antiderivative size = 30, normalized size of antiderivative = 0.62 \[ \int \frac {(d x)^m (a+b x)}{\sqrt {c x^2}} \, dx=\frac {\left (\frac {a\,x}{m}+\frac {b\,x^2}{m+1}\right )\,{\left (d\,x\right )}^m}{\sqrt {c\,x^2}} \]

[In]

int(((d*x)^m*(a + b*x))/(c*x^2)^(1/2),x)

[Out]

(((a*x)/m + (b*x^2)/(m + 1))*(d*x)^m)/(c*x^2)^(1/2)